(Msg on $l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$m$:Msg$\mid$ haslink($l$;$m$) \}